#!/bin/bash

while :
do
	git checkout master
	git pull origin master
	timeout --foreground 3600 cargo run --release -- $@
done
